xcX3v84RxoQ-4GxG32940ukFUIEgYdPy <Is there a way to prove this without the Pythagorean theorem